<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <title>CCF系统软件专委会常务委员候选人简况</title>
</head>
<body>
    <h1 style="text-align: center;">&nbsp;</h1>
    <h1 style="text-align: center;"><strong>CCF系统软件专委会常务委员候选人简况</strong></h1>
    <p style="text-align: center;">&nbsp;</p>
    
    <div style="margin-left: auto;margin-right: auto; width: 60%;">
        <span id="lb1" style="border-right: 2px solid #eee;padding-right: 10px;cursor: pointer; background-color:#9C9C9C;" onclick="handleChange(1)"><b>学术界</b></span>
        <span id="lb2" style="padding-left: 5px;cursor: pointer;" onclick="handleChange(2)"><b>工业界</b></span>
    </div>
    
    <div id="con1">
        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/chenkai.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>陈恺</p>
                <p><b>工作单位：</b>中国科学院信息工程研究所</p>
                <p><b>职称/职务：</b>副主任</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2017年</p>
                <p><b>现任CCF职务：</b>系统软件专委会（委员） </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />       中国科学院信息工程研究所研究员、博导。信息安全国家重点实验室副主任，《Cybersecurity》编辑部主任。2010年获中国科学院研究生院博士学位（信息安全专业）， 2004年获南京大学本科学位（计算机科学与技术专业）。主要研究领域包括软件与系统安全、人工智能安全。在IEEE S&P、USENIX Security、ACM CCS、ICSE、ASE、TIFS、TDSC等会议、期刊上发表论文 100 余篇；曾主持国家自然科学基金重点项目等国家部委课题 40 余项。获国家“万人计划”青年拔尖人才、北京市“杰青”、北京市“科技新星”等资助。 </p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/chenkai.pdf">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/chenmingsong.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>陈铭松</p>
                <p><b>工作单位：</b>华东师范大学软件工程学院</p>
                <p><b>职称/职务：</b>教授/副院长</p>
                <p><b>会员级别：</b>高级</p>
                <p><b>参加本专委时间：</b>2018年</p>
                <p><b>现任CCF职务：</b>嵌入式系统专委会候任副主任 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        美国佛罗里达大学博士学位，现任华东师范大学软件工程学院教授、副院长。研究方向为嵌入式系统设计自动化。在嵌入式系统顶级期刊与会议上发表论文90余篇，主持包括国家重点研发项目、自然科学基金委重点项目在内的省部级项目7项。2009年与2013年曾两次获得国际重要会议“国际VLSI设计大会”与“国际嵌入式大会”最佳论文提名。担任过包括DAC、DATE、MEMOCODE、RTSS在内的多个国际会议TPC委员。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/chenmingsong.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/chenyu.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>陈渝</p>
                <p><b>工作单位：</b>清华大学计算机系</p>
                <p><b>职称/职务：</b>副教授</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2007年</p>
                <p><b>现任CCF职务：</b>系统软件专委委员 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        国防科技大学 系统结构方向 本科/硕士/博士<br />        清华大学计算机系 副教授<br />        MIT 访问学者<br />        主要研究方向是操作系统，以操作系统为核心，涉及高性能计算、系统安全、普适计算等领域。。近十余年来，本人主要在面向众核计算机架构的操作系统/虚拟机性能优化，系统软件安全分析，以及面向国产自主可控的系统软件支持等研究热点上开展研究，取得了有一定国际/国内影响的研究成果。发表CCF Rank A/B/C的国际会议论文和国际期刊论文多篇。近5年来，获得省部级一等奖，国家科技进步二等奖多次。
</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/chenyu.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/chenyuting.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>陈雨亭</p>
                <p><b>工作单位：</b>上海交通大学</p>
                <p><b>职称/职务：</b>副教授</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2017年</p>
                <p><b>现任CCF职务：</b>系统软件专委委员 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />       上海交通大学计算机科学与工程系副教授、博士生导师。2000年和2003年在南京大学计算机科学与技术系获得本科和硕士学位，2007年在日本法政大学获得博士学位。2008年起在上海交通大学软件学院和计算机系任教至今。曾在美国德州大学达拉斯分校、加州大学戴维斯分校分别进行访问研究。主要研究兴趣包括程序分析及系统测试、数据驱动软件开发、形式化建模与验证等。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/chenyuting.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/chenggong.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>程龚</p>
                <p><b>工作单位：</b>南京大学</p>
                <p><b>职称/职务：</b>副教授</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2015年</p>
                <p><b>现任CCF职务：</b>系统软件专委委员 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        2010年从东南大学获博士学位，2011年进入南京大学工作，2015年被聘为副教授，2017年入选江苏省“六大人才高峰”高层次人才。目前主要面向智能软件系统，研究语义网与知识图谱技术，研究主题包括语义搜索、数据摘要、智能问答等。主持国家重点研发计划、国家自然科学基金等资助的多个项目课题。在WWW、AAAI、IJCAI、TKDE等会议期刊上发表论文60余篇，获ISWC最佳论文提名2次，论文总引用2000余次。担任过ISWC短文程序委员会主席等职务。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/chenggong.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/fengxinyu.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>冯新宇</p>
                <p><b>工作单位：</b>南京大学</p>
                <p><b>职称/职务：</b>教授</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2010年</p>
                <p><b>现任CCF职务：</b>系统软件专委委员 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2007年9月至2010年5月于Toyota Technological Institute at Chicago （TTIC）任研究助理教授（Research Assistant Professor）。2010年5月至2017年12月于中国科学技术大学计算机科学与技术学院任教授。2018年1月起加入南京大学计算机系任教授。<br />        同时担任华为2012实验室中央软件院编程语言实验室主任。
</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/fengxinyu.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/haodan.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>郝丹</p>
                <p><b>工作单位：</b>北京大学</p>
                <p><b>职称/职务：</b>副教授</p>
                <p><b>会员级别：</b>高级</p>
                <p><b>参加本专委时间：</b>2017年</p>
                <p><b>现任CCF职务：</b>系统软件专委委员 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        郝丹2006年于北京大学获得博士学位，并进入北京大学工作，现为北京大学长聘副教授。研究方向为软件学科与理论，研究兴趣包括软件测试与排错、编译器测试等。2016年国家自然科学基金（优青项目）资助获得者，2017年受聘为教育部长江学者（青年学者），2018年获得国家自然科学基金委和英国皇家学会联合资助的高级牛顿学者计划。担任国际期刊Software Testing, Verification&Reliability编委，国际学术会议SPLC 2018的General Co-Chair，国际会议SPLC的SC，以及CCF A类会议ICSE、FSE、ASE、ISSTA的PB、OC、PC等。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/haodan.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/huchunming.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:60%; height:60%">
                <p><b>姓名：</b>胡春明</p>
                <p><b>工作单位：</b>北京航空航天大学计算机学院</p>
                <p><b>职称/职务：</b>长聘副教授，副院长</p>
                <p><b>会员级别：</b>高级</p>
                <p><b>参加本专委时间：</b>2006年</p>
                <p><b>现任CCF职务：</b>计算机学会通讯CCCF译文主编、系统软件专委会委员
</p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        2006年毕业于北京航空航天大学计算机学院，获计算机软件与理论专业工学博士学位，同年进入北京航空航天大学学院任教，2008年晋升副教授，2017年学院综合改革，进入教研系列，获批长聘副教授。目前担任北京航空航天大学计算机学院长聘副教授，副院长，博士生导师，北京市大数据科学与脑机智能高精尖创新中心副主任。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/huchunming.doc">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/liuting.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>刘烃</p>
                <p><b>工作单位：</b>西安交通大学</p>
                <p><b>职称/职务：</b>教授/副院长</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2018年</p>
                <p><b>现任CCF职务：</b>系统软件专委委员 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        1999至2003，西安交通大学，电信学院，信息工程，学士<br />        2003至2010，西安交通大学，电信学院，系统工程，博士<br />        2010至今，西安交通大学，电信学院，讲师、副教授、教授<br />        2016年9月至2017年9月，美国康奈尔大学，访问学者<br />        2018年4月至今，西安交通大学，电信学部网络空间安全学院，副院长</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/liuting.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/shipeichang.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>史佩昌</p>
                <p><b>工作单位：</b>国防科技大学计算机学院</p>
                <p><b>职称/职务：</b>副研究员</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2017年</p>
                <p><b>现任CCF职务：</b>系统软件专委委员 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        博士毕业于国防科技大学计算机学院，专业为计算机科学与技术。长期从事系统软件相关研究与实践工作，主持国家自然科学基金、国防科技创新特区、国防科技基础加强等多个相关课题，在Arm64架构自主可控操作系统设计实现、云际计算操作系统构造演化机理、区块链系统分布一致性等方面取得一系列重要成果，发表高水平期刊/会议论文40余篇，申请国家专利10余项、国家标准1项，获军队科技进步二等奖1项、荣立三等功1次。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/shipeichang.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/zhangweizhe.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:60%; height:60%">
                <p><b>姓名：</b>张伟哲</p>
                <p><b>工作单位：</b>哈尔滨工业大学/鹏城实验室</p>
                <p><b>职称/职务：</b>长聘教授/网络空间安全中心主任</p>
                <p><b>会员级别：</b>杰出</p>
                <p><b>参加本专委时间：</b>2016年</p>
                <p><b>现任CCF职务：</b>CCF嵌入式系统专委会常委 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        2006年获博士学位，分别于2007、2012年晋升为副教授、教授。哈尔滨工业大学长聘教授、博导，鹏城实验室网络空间安全研究中心主任、国家自然科学基金信息学部评审会专家、国家重点研发计划项目会评专家、中文信息学会测评工作委员会主任，中国计算机学会嵌入式系统专委常委，高性能计算专委和系统软件专委委员，ACM终生会员，IEEE高级会员。发表学术论文130余篇，论文引用总数超过1000余次，获得发明专利23项。主持了多个国家级项目，经费约7000万元。获黑龙江省高校科学技术奖励一等奖和科技进步二等奖。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/zhangweizhe.doc">申请表</a>
        </div>


        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/zhangyu2.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:60%; height:60%">
                <p><b>姓名：</b>张昱</p>
                <p><b>工作单位：</b>中国科学技术大学计算机学院</p>
                <p><b>职称/职务：</b>副教授</p>
                <p><b>会员级别：</b>高级</p>
                <p><b>参加本专委时间：</b>2013年</p>
                <p><b>现任CCF职务：</b>CCF合肥监督委员会主席、教育专委常委</p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        1993.7于合肥工业大学获计算机及其应用学士学位；1996.7于合肥工业大学获计算机应用工学硕士学位；2004.12于中国科学技术大学获计算机软件与理论工学博士。1996.7至今，在中国科大计算机系任教，2004年1月起任副教授。2010.10-2011.10公派在美国耶鲁大学访问。长期从事编译原理、程序设计语言理论等的教学和科研工作，主持安徽省精品资源共享课“编译原理和技术”，主持获安徽省教学成果奖3次，是教育部计算机类教指委系统能力研究组成员。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/zhangyu.doc">申请表</a>
        </div>
    
        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
    </div>
    
    <div id="con2" style="display: none;">
        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/cuixining.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>崔西宁</p>
                <p><b>工作单位：</b>中国航空工业集团公司西安航空计算技术研究所</p>
                <p><b>职称/职务：</b>研究员、特级专家</p>
                <p><b>会员级别：</b>高级</p>
                <p><b>参加本专委时间：</b>2014年</p>
                <p><b>现任CCF职务：</b>系统软件专委会（委员） </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        工学博士，研究员，在航空工业计算所从事机载计算机软件科研开发工作，项目主管。为集团公司的特级技术专家。CCF软件工程和系统软件专委会委员。先后主持和参加了多项预研、型号和核高基项目。在航电系统体系架构、容错重构、信息安全、嵌入式系统等多个领域有深入研究，先后在多项型号、预研项目中做出了突出贡献。发表论文50余篇，获得部级奖8项、集团级8项；荣立二等功2次，三等功4次；授权专利8项；培养硕士研究生多名。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/cuixining.doc">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/guliang.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:60%; height:60%">
                <p><b>姓名：</b>古亮</p>
                <p><b>工作单位：</b>深信服科技股份有限公司</p>
                <p><b>职称/职务：</b>研发副总裁、首席技术专家</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2017年</p>
                <p><b>现任CCF职务：</b>CCF计算机安全专委会委员、系统软件专委会委员</p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        古亮，博士，深信服研发副总裁，兼首席技术专家、深信服创新研究院院长，同时担任发改委“下一代互联网信息安全技术国家地方联合工程实验室”主任，CCF计算机安全专委会委员、系统软件专委会委员。博士毕业于北京大学软件所计算机软件与理论专业，曾在美国耶鲁大学担任Associate Research Scientist、博士后。曾参加过多项国家973、863、自然科学基金、科技部科技支撑计划项目的研发工作。在美国耶鲁大学计算机系工作期间，曾参与了包括CRASH和HACMS在内的多个重点前沿研究探索项目，是Yale CertiKOS项目早期的主要贡献者。目前古亮博士负责深信服的技术研发和技术管理工作，推动云计算、系统安全等相关核心技术在国产云化IT和安全解决方案中的创新和应用，推动云计算和网络安全的相关产品和服务的技术突破，相关产品在市场取得了明显的领先优势，支持公司2018年32.5亿的营收。依托国家信息中心-深信服国家地方联合实验室，古亮博士牵头负责了广东省重大专项等多项国家和地方研究课题。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/guliang.doc">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/guojianmei.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:65%; height:60%">
                <p><b>姓名：</b>郭健美</p>
                <p><b>工作单位：</b>阿里巴巴集团</p>
                <p><b>职称/职务：</b>高级技术专家</p>
                <p><b>会员级别：</b>高级</p>
                <p><b>参加本专委时间：</b>2017年</p>
                <p><b>现任CCF职务：</b>软件工程专委常务委员、系统软件专委委员、YOCSEF上海委员</p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        1998/09至2002/06：天津大学管理信息系统系，工学学士<br />        2002/07至2004/06：上海神州数码管理系统有限公司，程序员、咨询顾问（后辞职考研）<br />        2005/09至2008/03：上海交通大学计算机系，工学硕士（公费）<br />        2007/09至2011/12：上海交通大学计算机系，工学博士（提前攻博）<br />        2012/04至2015/08：加拿大滑铁卢大学电气与计算机工程系，博士后（导师：Krzysztof Czarnecki）<br />        2015/12至2017/09：华东理工大学计算机系，副教授<br />        2017/10至今：阿里巴巴集团基础软件部，高级技术专家</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/guojianmei.doc">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/lizhenning.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>李震宁</p>
                <p><b>工作单位：</b>中标软件有限公司</p>
                <p><b>职称/职务：</b>高级工程师/副总经理</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>3年</p>
                <p><b>现任CCF职务：</b>系统软件专委会委员/CCF YOCSEF青年委员 </p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        2000年毕业于北京联合大学信息工程专业。同年进入中国软件，从事Linux操作系统研发和技术服务工作。 现任中标软件有限公司副总经理、山西分公司总经理。兼任上海市基础软件工程技术研究中心主任。信息技术应用创新工作委员会操作系统组长。中日韩东北亚开源论坛技术组中方组长。中国开源和基础软件技术创新战略联盟秘书长。中国开源软件推进联盟、中国开源云计算联盟、中国高端芯片联盟副秘书长、中国大数据智能计算专家委常委。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/lizhenning.doc">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/pugeguang.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>蒲戈光</p>
                <p><b>工作单位：</b>上海工业控制安全创新科技有限公司</p>
                <p><b>职称/职务：</b>总经理</p>
                <p><b>会员级别：</b>高级</p>
                <p><b>参加本专委时间：</b>2017年</p>
                <p><b>现任CCF职务：</b>形式化方法专委副主任</p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        武汉大学本科；北京大学博士；从事的主要工作是形式化方法，软件测试与分析等。近期在LTL的可满足性检查与综合取得一列进展（CAV, IJCAI, AAAI等），同时在软件自动测试方面也进行了产业化的推进（ICSE, ASE, FSE等）。上海工业控制安全创新研发与转化功能型平台总经理，推进自动测试，高安全基础软件在产业界的技术转化。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/pugeguang.doc">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/wangjun.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>王军</p>
                <p><b>工作单位：</b>北京汇智盈金科技有限公司</p>
                <p><b>职称/职务：</b>总经理</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2018年</p>
                <p><b>现任CCF职务：</b>系统软件专委会委员</p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        2008年获得南开大学软件工程硕士学位，2010年1月至今   天津南大通用数据技术股份有限公司  历任：售前工程师/解决方案工程师/方案组组长/战略合作部经理总经理/企业规划和战略发展部总经理/子公司（江苏华库数据技术有限公司）副总经理/公司副总经理（非行政管理，用于业务开拓。北京汇智盈金科技有限公司联合创始人。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/wangjun.doc">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/wangqianxiang.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:60%; height:60%">
                <p><b>姓名：</b>王千祥</p>
                <p><b>工作单位：</b>华为公司</p>
                <p><b>职称/职务：</b>技术专家、软件分析实验室主任</p>
                <p><b>会员级别：</b>高级</p>
                <p><b>参加本专委时间：</b>2002年</p>
                <p><b>现任CCF职务：</b>软件工程专委 副主任、系统软件专委 委员</p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />        1987-1991 国防科技大学 计算机系 本科生<br />        1991-1997 西北工业大学 计算机系 硕士生、博士生<br />        1991-2016 北京大学 计算机系 博士后、副教授、教授<br />        2016-至今  华为公司</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/wangqianxiang.doc">申请表</a>
        </div>

        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
        <div id="main" style="margin-left: auto; margin-right: auto; width:60%; height:220px; text-aligh:center">
            <div id="left" style="float:left ; width:35%; height:100%;">
                <img src="./photo/yingang.jpg" width="141" height="188" align="left" />
            </div>
            <div id="center" class="text" style="float:left ; width:50%; height:60%">
                <p><b>姓名：</b>尹刚</p>
                <p><b>工作单位：</b>绿色计算产业联盟</p>
                <p><b>职称/职务：</b>技术委员会副主任</p>
                <p><b>会员级别：</b>专业</p>
                <p><b>参加本专委时间：</b>2017年</p>
                <p><b>现任CCF职务：</b>CCF软件工程专委委员、CCF系统软件专委委员</p>
            </div>
        </div>
        <div id="bio" style="margin-left: auto; margin-right: auto;width: 60%;">
            <p><strong>个人简介：</strong><br />       毕业于国防科技大学，先后获学士、硕士(保送)、博士学位以及副研究员职称。现任绿色计算产业联盟技术委员会副主任、新工科联盟实践教学副秘书长、中国开源推进联盟副秘书长、湖南省复杂系统软件工程实验室主任助理，中国计算机学会杰出演讲者，牵头或参与国家级课题20余项， Trustie平台和EduCoder平台技术负责人，成果得到大规模应用，先后获湖南省技术发明一等奖、国家技术发明二等奖，发表论文80余篇，获授权发明专利10余项。</p>
        </div>
        <div id="changwei" style="margin-left: auto; margin-right: auto;width: 60%;">
            <a href="./changwei/yingang.doc">申请表</a>
        </div>
    
        <hr style="margin-left: auto; margin-right: auto; width: 60%;" />
    </div>
</body>
<script>
    function handleChange(val) {
        var con1 = document.getElementById("con1");
        var con2 = document.getElementById("con2");
        var lb1= document.getElementById("lb1");
        var lb2 = document.getElementById("lb2");
        if (val == 1) {
            con1.style.display="block";
            con2.style.display = "none";
            lb1.style.backgroundColor="#9C9C9C";
            lb2.style.backgroundColor="#fff";
        } else if (val == 2) {
            con1.style.display = "none";
            con2.style.display = "block";
            lb1.style.backgroundColor="#ffff";
            lb2.style.backgroundColor="#9C9C9C";
        }
    }
</script>
</html>